kw.\*:("Model theory")
Results 1 to 25 of 700
Selection :
On the possible number no(M)=the number of nonisomorphic models L∞,λ-equivalent to M of power λ, for λ singularSHELAH, S.Notre Dame journal of formal logic. 1985, Vol 26, Num 1, pp 36-50, issn 0029-4527Article
Finitely generic models of TUH, for certain model companionable theories TPOINT, F.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 604-610, issn 0022-4812Article
On the number of independent partitionsTSUBOI, A.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 809-814, issn 0022-4812Article
Model theorie of modulesZIEGLER, M.Annals of pure and applied logic. 1984, Vol 26, Num 2, pp 149-213, issn 0168-0072Article
Model theory for L∞ω1FRIEDMAN, D.Annals of pure and applied logic. 1984, Vol 26, Num 2, pp 103-122, issn 0168-0072Article
Additive structure in uncountable models for a fixed completion of PKNIGHT, J. F.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 623-628, issn 0022-4812Article
Some model theory of modules. I: On total transcendence of modulesROTHMALER, P.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 570-574, issn 0022-4812Article
Disturbing arithmeticGRILLIOT, T. J.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 375-379, issn 0022-4812Article
Why some people are excited by Vaught's conjectureLASCAR, D.The Journal of symbolic logic. 1985, Vol 50, Num 4, pp 973-982, issn 0022-4812Article
Classification theory for non-elementary classes I: the number of uncountable models of Ψ∈Lω1,ω. Part BSHELAH, S.Israel Journal of Mathematics. 1983, Vol 46, Num 4, pp 241-273, issn 0021-2172Article
On the nonaxiomatizability of some logics by finitely many schemasSHELAH, S; STEINHORN, C.Notre Dame journal of formal logic. 1986, Vol 27, Num 1, pp 1-11, issn 0029-4527Article
An AD-like modelAPTER, A. W.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 531-543, issn 0022-4812Article
Model theory under the axiom of determinatenessSPECTOR, M.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 773-780, issn 0022-4812Article
Strongly majorizable functionals of finite type: a model for barrecursion containing discontinuous functionalsBEZEM, M.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 652-660, issn 0022-4812Article
Algebraic theories with definable skolem functionsVAN DEN DRIES, L.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 625-629, issn 0022-4812Article
Categoricity and ranksSAFFE, J.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1379-1392, issn 0022-4812Article
Simplified morasses with linear limitsVELLEMAN, D.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1001-1021, issn 0022-4812Article
Model-complete theories of formally real fields and formally p-adic fieldsWHEELER, W. H.The Journal of symbolic logic. 1973, Vol 48, Num 4, pp 1130-1139, issn 0022-4812Article
χo-categorical, χo-stable structuresCHERLIN, G; HARRINGTON, L; LACHLAN, A. H et al.Annals of pure and applied logic. 1985, Vol 28, Num 2, pp 103-135, issn 0168-0072Article
Some model theory of modules. III: On infiniteness of sets definable in modulesROTHMALER, P.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 32-46, issn 0022-4812Article
Espaces ultramétriques = Ultrametric spacesDELON, F.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 405-424, issn 0022-4812Article
Inconsistent models for relevant arithmeticsMEYER, R. K; MORTENSEN, C.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 917-929, issn 0022-4812Article
A new omitting types theoremSTEINHORN, C.Proceedings of the American Mathematical Society. 1983, Vol 89, Num 3, pp 480-486, issn 0002-9939Article
Model-complete theories of e-free Ax fieldsJARDEN, M; WHEELER, W. H.The Journal of symbolic logic. 1973, Vol 48, Num 4, pp 1125-1129, issn 0022-4812Article
Locally finite generalized quadrangles with at most five points per lineCHERLIN, Gregory.Discrete mathematics. 2005, Vol 291, Num 1-3, pp 73-79, issn 0012-365X, 7 p.Article